QCMF: a tool for generating qualitative models from compartmental structures

This paper describes a framework, called QCMF (Qualitative Compartmental Modeling Framework), which assists the user in formulating models of a physical system and in analyzing their behaviors through the simulation of the effects of a variety of different perturbations of the system. QCMF has adopted the compartmental theory as modeling ontology: a system is represented as a finite set of interacting compartments. The user enters, through an iconic language and menus, the compartmental structure of a physical system and defines the kinds of functional relationships describing the interactions between compartments. Then, QCMF automatically generates a behavior model of the system. Such a model consists of a set of ordinary differential equations, which are currentLy qualitatively expressed, and is directly coded into the language (QSIM) which is interpreted by the simulation algorithm. The system behavior can be obtained by simulating the model starting from an initial state which describes the perturbations acting on the system. The code defining the initial state is automatically built by QCMF as well. Finally, explanations of the predicted behavior are also automatically generated. Moreover, QCMF is capable to build and to maintain a library of models for a given system.